relation concept in discrete mathematics